A method for incorporating knowledge and communication intodecentralized discrete - event systems
نویسنده
چکیده
Using a formal method for reasoning about knowledge, decentralized discrete-event control problems are described. States of the system where supervisors do not have suucient knowledge to make the correct control decision can be detected. A solution where supervisors may communicate is presented. The relationship between communication and control is complex because (i) control decisions made by one supervisor may depend on communications received from another supervisor and yet (ii) the content of the information that is communicated could be aaected by information the communicating supervisor previously received. Procedures are derived for incorporating communication into decentralized discrete-event control. The resulting augmented system gives the supervisors enough knowledge to make the correct control decisions. These procedures yield a control solution while ensuring that supervisors communicate in a consistent manner. Further, these procedures yield a minimal set of communications.
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملKnow means no: Incorporating knowledge into discrete-event control systems
| Modal logic is introduced into the modeling of discrete-event systems. Analysis within this framework includes formal reasoning about what supervisors know or do not know about a given system. This model can be used to develop control strategies that solve decentralized discrete-event control problems. When a problem cannot be solved using fully decentralized supervisors, reasoning about know...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل